$\forall$${\it es}$:ES, $e$:E. state after $e$ = (discrete state after $e$) $\in$ discrete state@loc($e$)